automated theorem proving中文是什么意思

发音:

中文翻译
造句

自定理明
自动定理证明

automate vt. 1.使(工厂、工序等)自动化。 2.使用自动化技 ...
theorem n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
prove vt. ( -d; -d, 〔古、美〕 proven ) ...
theorem proving 定理证明
automatic theorem proving 自动定理证明
mechanical theorem proving 机器证明
non-resolution theorem proving 非解析定理求解
proving fermat’s last theorem 证明费马最后定理
resolution theorem proving 归结定理证明消解式定理证明
resolution theorem-proving 解析定理证明
theorem proving machine 定理证明机
theorem proving representation 定理证明表示
theorem proving technique 定理证明技术
be proving 看来是……
proving 检验的; 药力试验
automated 自动的; 自动化的
s theorem 贝叶斯定理
theorem n. 1.(能证明的)一般原理，公理，定律，法则。 2.【数学】定理。 -matic , -matical adj.,-ically adv.
block proving 闭塞检查
correspondence proving 符合检查; 照应确认
cross proving 相互检查
elementary proving 基本标定
field proving 现场标定
full proving 全项目标定
initial proving 初始检定

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。
1 wu w t . on the decision problem and the mechanization of theorem - proving in elementary geometry . scientia sinica , 1978 , : 159 - 172 . re - published in em automated theorem proving : after 25 years , 1984 , pp . 213 - 234
本文第一作者于上世纪七十年代末开始从事数学机械化研究，致力于实现推理与方程求解的自动化，并创立了几何定理机器证明的吴方法与方程求解的特征列方法。
In proposbonal calculus , the processing ofresoluhon pdriciple have combination explosion naturally so , how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving
命题逻辑系统中的归结原理本质上存在组合问题，因此，如何避免组合问题(通常以计算复杂性的形式出现)是自动推理研究中的一个重要课题。
In this paper , it s applications were explained from seven different fields , the common zeros of two polynomials , the multiplicities of roots and the discrimination of a polynomial , searching the equations suitable for a algebraic number , implicating a rational curve over the plane , computing the zeros of a nonlinear algebraic equation and gathering the discrimination surface of the sas in automated theorem proving on inequalities
本文从7个方面阐述了结式的应用，包括判断2个多项式的公共零点，判定多项式是否有重根，计算多项式的判别式，寻找代数数满足的方程，平面有理曲线的隐式化，非线性代数方程组求解和不等式机器证明中半代数系统边界曲面的获得等。

百科解释

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.

详细百科解释

推荐英语阅读

automated theorem proving的中文翻译，automated theorem proving是什么意思，怎么用汉语翻译automated theorem proving，automated theorem proving的中文意思，automated theorem proving的中文，automated theorem proving in Chinese，automated theorem proving的中文，automated theorem proving怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Sun, 17 Aug 2025 00:29:56 GMT